TSTP Solution File: DAT242^1 by Nitpick---2016